Minimal Normal and Commuting Completions

نویسنده

  • DAVID P. KIMSEY
چکیده

We study the minimal normal completion problem: given A ∈ Cn×n, how do we find an (n+q)×(n+q) normal matrix Aext := ( A A12 A21 A22 ) of smallest possible size? We will show that this smallest number q of rows and columns we need to add, called the normal defect of A, satisfies nd(A) ≥ max{i−(AA∗ −A∗A), i+(AA∗ −A∗A)}, where i±(M) denotes the number of positive and negative eigenvalues of the Hermitian matrix M counting multiplicities. Subsequently, we will show that for some matrices a minimal normal completion can be chosen to be a multiple of a unitary, addressing a conjecture from [H. J. Woerdeman, Linear and Multilinear Algebra 36 (1993), 59–68]. In addition, we study the related question where A ∈ Cn×n and B ∈ Cn×n are given, and where we look for Aext := ( A A12 A21 A22 ) and Bext := ( B B12 B21 B22 ) such that they commute and are of smallest possible size.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Beginnings of a Theory of General Database Completions

Ordinary logical implication is not enough for answering queries in a logic database, since especially negative information is only implicitly represented in the database state. Many database completions have been proposed to remedy this problem, but a clear understanding of their properties and differences is still needed. In this paper, a general framework is proposed for studying database co...

متن کامل

Eecient Type Inference for Higher-order Binding-time Analysis

Binding-time analysis determines when variables and expressions in a program can be bound to their values, distinguishing between early (compile-time) and late (run-time) binding. Binding-time information can be used by compilers to produce more eecient target programs by partially evaluating programs at compile-time. Binding-time analysis has been formulated in abstract interpretation contexts...

متن کامل

Knuth-Bendix completion of theories of commuting group endomorphisms

Knuth-Bendix completions of the equational theories of k ≥ 2 commuting group endomorphisms are obtained, using automated theorem proving and modern termination checking. This improves on modern implementations of completion, where the orderings implemented cannot orient the commutation rules. The result has applications in decision procedures for automated verification.

متن کامل

Single-Edge Monotonic Sequences of Graphs and Linear-Time Algorithms for Minimal Completions and Deletions

We study graph properties that admit an increasing, or equivalently decreasing, sequence of graphs on the same vertex set such that for any two consecutive graphs in the sequence their difference is a single edge. This is useful for characterizing and computing minimal completions and deletions of arbitrary graphs into having these properties. We prove that threshold graphs and chain graphs adm...

متن کامل

Reports in Informatics Characterizing and Computing Minimal Cograph Completions Characterizing and Computing Minimal Cograph Completions *

A cograph completion of an arbitrary graph G is a cograph supergraph of G on the same vertex set. Such a completion is called minimal if the set of edges added to G is inclusion minimal. In this paper we present two results on minimal cograph completions. The first is a a characterization that allows us to check in linear time whether a given cograph completion is minimal. The second result is ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2007